[INFO] cloning repository https://github.com/oeb25/web-dm
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/oeb25/web-dm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0502e79b45db71017a096ca03dcd4333ed395dd8
[INFO] testing oeb25/web-dm against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/oeb25/web-dm
[INFO] finished tweaking git repo https://github.com/oeb25/web-dm
[INFO] tweaked toml for git repo https://github.com/oeb25/web-dm written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/oeb25/web-dm on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/oeb25/web-dm already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quote v0.6.8
[INFO] [stderr]   Downloaded yew v0.4.0
[INFO] [stderr]   Downloaded stdweb-internal-runtime v0.1.2
[INFO] [stderr]   Downloaded stdweb-internal-macros v0.2.2
[INFO] [stderr]   Downloaded stdweb v0.4.10
[INFO] [stderr]   Downloaded rustc-demangle v0.1.9
[INFO] [stderr]   Downloaded failure_derive v0.1.3
[INFO] [stderr]   Downloaded stdweb-derive v0.5.1
[INFO] [stderr]   Downloaded itoa v0.4.3
[INFO] [stderr]   Downloaded http v0.1.13
[INFO] [stderr]   Downloaded ryu v0.2.6
[INFO] [stderr]   Downloaded serde v1.0.80
[INFO] [stderr]   Downloaded indexmap v1.0.1
[INFO] [stderr]   Downloaded backtrace v0.3.9
[INFO] [stderr]   Downloaded failure v0.1.3
[INFO] [stderr]   Downloaded base-x v0.2.3
[INFO] [stderr]   Downloaded serde_json v1.0.32
[INFO] [stderr]   Downloaded proc-macro2 v0.4.20
[INFO] [stderr]   Downloaded synstructure v0.10.0
[INFO] [stderr]   Downloaded bytes v0.4.10
[INFO] [stderr]   Downloaded log v0.4.5
[INFO] [stderr]   Downloaded serde_derive v1.0.80
[INFO] [stderr]   Downloaded backtrace-sys v0.1.24
[INFO] [stderr]   Downloaded syn v0.15.13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] da9ead44000a71c17db9240de66b048f5f9f5c2d90ce4fbd9fee1b56b4b7ea62
[INFO] running `Command { std: "docker" "start" "-a" "da9ead44000a71c17db9240de66b048f5f9f5c2d90ce4fbd9fee1b56b4b7ea62", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "da9ead44000a71c17db9240de66b048f5f9f5c2d90ce4fbd9fee1b56b4b7ea62", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "da9ead44000a71c17db9240de66b048f5f9f5c2d90ce4fbd9fee1b56b4b7ea62", kill_on_drop: false }`
[INFO] [stdout] da9ead44000a71c17db9240de66b048f5f9f5c2d90ce4fbd9fee1b56b4b7ea62
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 91f2c3e59e6e76b7374436231ba756abe44113ecc5030f87f53614b11dda3e01
[INFO] running `Command { std: "docker" "start" "-a" "91f2c3e59e6e76b7374436231ba756abe44113ecc5030f87f53614b11dda3e01", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v0.4.20
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]    Compiling serde v1.0.80
[INFO] [stderr]    Compiling libc v0.2.43
[INFO] [stderr]    Compiling cc v1.0.25
[INFO] [stderr]    Compiling ryu v0.2.6
[INFO] [stderr]    Compiling itoa v0.4.3
[INFO] [stderr]    Compiling cfg-if v0.1.6
[INFO] [stderr]    Compiling failure_derive v0.1.3
[INFO] [stderr]    Compiling stdweb-internal-runtime v0.1.2
[INFO] [stderr]    Compiling byteorder v1.2.6
[INFO] [stderr]    Compiling base-x v0.2.3
[INFO] [stderr]    Compiling rustc-demangle v0.1.9
[INFO] [stderr]    Compiling indexmap v1.0.1
[INFO] [stderr]    Compiling fnv v1.0.6
[INFO] [stderr]    Compiling discard v1.0.4
[INFO] [stderr]    Compiling log v0.4.5
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]    Compiling backtrace-sys v0.1.24
[INFO] [stderr]    Compiling iovec v0.1.2
[INFO] [stderr]    Compiling bytes v0.4.10
[INFO] [stderr]    Compiling http v0.1.13
[INFO] [stderr]    Compiling stdweb-internal-macros v0.2.2
[INFO] [stderr]    Compiling stdweb v0.4.10
[INFO] [stderr]    Compiling solver v0.1.0 (/opt/rustwide/workdir/solver)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:317:51
[INFO] [stdout]     |
[INFO] [stdout] 317 |             Connective::Not(i) => Connective::Not(box i.substitude(x, y)),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 317 -             Connective::Not(i) => Connective::Not(box i.substitude(x, y)),
[INFO] [stdout] 317 +             Connective::Not(i) => Connective::Not(Box::new(i.substitude(x, y))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 319 -                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout] 319 +                 Connective::And(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:319:57
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 319 -                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout] 319 +                 Connective::And(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:321:52
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 321 -             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout] 321 +             Connective::Or(a, b) => Connective::Or(Box::new(a.substitude(x, y)), box b.substitude(x, y)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:321:76
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 321 -             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout] 321 +             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), Box::new(b.substitude(x, y))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:323:39
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 323 -                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout] 323 +                 Connective::Implicate(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:323:63
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 323 -                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout] 323 +                 Connective::Implicate(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:326:41
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 326 -                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout] 326 +                 Connective::Biimplicate(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:326:65
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 326 -                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout] 326 +                 Connective::Biimplicate(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:330:52
[INFO] [stdout]     |
[INFO] [stdout] 330 |                 Connective::ForAll(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 -                 Connective::ForAll(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout] 330 +                 Connective::ForAll(xx.to_string(), Box::new(inner.substitude(x, y)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:333:52
[INFO] [stdout]     |
[INFO] [stdout] 333 |                 Connective::Exists(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 333 -                 Connective::Exists(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout] 333 +                 Connective::Exists(xx.to_string(), Box::new(inner.substitude(x, y)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> solver/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> solver/src/parse.rs:96:36
[INFO] [stdout]    |
[INFO] [stdout] 96 |             (Connective::Implicate(box left, box right), rest)
[INFO] [stdout]    |                                    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 96 -             (Connective::Implicate(box left, box right), rest)
[INFO] [stdout] 96 +             (Connective::Implicate(Box::new(left), box right), rest)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> solver/src/parse.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |             (Connective::Implicate(box left, box right), rest)
[INFO] [stdout]    |                                              ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 96 -             (Connective::Implicate(box left, box right), rest)
[INFO] [stdout] 96 +             (Connective::Implicate(box left, Box::new(right)), rest)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:100:38
[INFO] [stdout]     |
[INFO] [stdout] 100 |             (Connective::Biimplicate(box left, box right), rest)
[INFO] [stdout]     |                                      ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 100 -             (Connective::Biimplicate(box left, box right), rest)
[INFO] [stdout] 100 +             (Connective::Biimplicate(Box::new(left), box right), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:100:48
[INFO] [stdout]     |
[INFO] [stdout] 100 |             (Connective::Biimplicate(box left, box right), rest)
[INFO] [stdout]     |                                                ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 100 -             (Connective::Biimplicate(box left, box right), rest)
[INFO] [stdout] 100 +             (Connective::Biimplicate(box left, Box::new(right)), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:112:30
[INFO] [stdout]     |
[INFO] [stdout] 112 |             (Connective::And(box left, box right), rest)
[INFO] [stdout]     |                              ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 112 -             (Connective::And(box left, box right), rest)
[INFO] [stdout] 112 +             (Connective::And(Box::new(left), box right), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:112:40
[INFO] [stdout]     |
[INFO] [stdout] 112 |             (Connective::And(box left, box right), rest)
[INFO] [stdout]     |                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 112 -             (Connective::And(box left, box right), rest)
[INFO] [stdout] 112 +             (Connective::And(box left, Box::new(right)), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:116:29
[INFO] [stdout]     |
[INFO] [stdout] 116 |             (Connective::Or(box left, box right), rest)
[INFO] [stdout]     |                             ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 116 -             (Connective::Or(box left, box right), rest)
[INFO] [stdout] 116 +             (Connective::Or(Box::new(left), box right), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:116:39
[INFO] [stdout]     |
[INFO] [stdout] 116 |             (Connective::Or(box left, box right), rest)
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 116 -             (Connective::Or(box left, box right), rest)
[INFO] [stdout] 116 +             (Connective::Or(box left, Box::new(right)), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:126:30
[INFO] [stdout]     |
[INFO] [stdout] 126 |             (Connective::Not(box expr), rest)
[INFO] [stdout]     |                              ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 126 -             (Connective::Not(box expr), rest)
[INFO] [stdout] 126 +             (Connective::Not(Box::new(expr)), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:137:47
[INFO] [stdout]     |
[INFO] [stdout] 137 |             (Connective::ForAll(name.clone(), box right), rest)
[INFO] [stdout]     |                                               ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 137 -             (Connective::ForAll(name.clone(), box right), rest)
[INFO] [stdout] 137 +             (Connective::ForAll(name.clone(), Box::new(right)), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:147:47
[INFO] [stdout]     |
[INFO] [stdout] 147 |             (Connective::Exists(name.clone(), box right), rest)
[INFO] [stdout]     |                                               ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 147 -             (Connective::Exists(name.clone(), box right), rest)
[INFO] [stdout] 147 +             (Connective::Exists(name.clone(), Box::new(right)), rest)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> solver/src/lib.rs:1:24
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `exclusive_range_pattern` has been stable since 1.80.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> solver/src/lib.rs:1:40
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   |                                        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling quote v0.6.8
[INFO] [stderr]    Compiling syn v0.15.13
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]   --> solver/src/lib.rs:65:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {
[INFO] [stdout]    |             --------------------------------------------------- matches all the relevant values
[INFO] [stdout] ...
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]   --> solver/src/lib.rs:65:32
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |                                ^                          ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(_r, x) | Connective::Exists(_r, x) => {}
[INFO] [stdout]    |                                +                           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> solver/src/lib.rs:65:35
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |                                   ^                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, _x) | Connective::Exists(r, _x) => {}
[INFO] [stdout]    |                                   +                           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `solver` (lib) due to 23 previous errors; 5 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "91f2c3e59e6e76b7374436231ba756abe44113ecc5030f87f53614b11dda3e01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91f2c3e59e6e76b7374436231ba756abe44113ecc5030f87f53614b11dda3e01", kill_on_drop: false }`
[INFO] [stdout] 91f2c3e59e6e76b7374436231ba756abe44113ecc5030f87f53614b11dda3e01
